void disk_rw(struct buf *b, int write);
